BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses (...) machine learning in combination with several types of lexical and semantic features and outputs formal definitions that follow the structure of SNOMED CT concept definitions. RESULTS: We evaluate our method on three benchmarks and test both the underlying relation extraction component as well as the overall quality of output concept definitions. In addition, we provide an analysis on the following aspects: How do definitions mined from the Web and literature differ from the ones mined from manually created definitions, e.g., MeSH? How do different feature representations, e.g., the restrictions of relations' domain and range, impact on the generated definition quality?, How do different machine learning algorithms compare to each other for the task of formal definition generation?, and, What is the influence of the learning data size to the task? We discuss all of these settings in detail and show that the suggested approach can achieve success rates of over 90%. In addition, the results show that the choice of corpora, lexical features, learning algorithm and data size do not impact the performance as strongly as semantic types do. Semantic types limit the domain and range of a predicted relation, and as long as relations' domain and range pairs do not overlap, this information is most valuable in formalizing textual definitions. CONCLUSIONS: The analysis presented in this manuscript implies that automated methods can provide a valuable contribution to the formalization of biomedical knowledge, thus paving the way for future applications that go beyond retrieval and into complex reasoning. The method is implemented and accessible to the public from: https://github.com/alifahsyamsiyah/learningDL. (shrink)

This paper consists in the Spanish translation of a manuscript by Franz Brentano, where he deals with “The Method of Study of Aristotle and, More Generally, the Method of Historical Research in Philosophical Field”. In these pages, Brentano challenges the Aristotelian studies of his time by criticizing the approach followed by E. Zeller and other scholars. Meanwhile, he suggests some hermeneutical rules in order to interpret Aristotle in the right way. The core of his proposal is the use of (...) philosophical hermeneutics, that is, the interpreter should philosophize following the Aristotelian arguments, like the Peripatetics used to do. In his introduction to the text by Brentano, the Spanish translator also recommends a new chronology for the manuscript, i.e. not much later than 1883. Complete title: «Franz Brentano: Sobre el método en los estudios aristotélicos y sobre el método de la investigación histórica en ámbito filosófico en general». Original title: Franz Brentano, «Zur Methode aristotelischen Studien, und zur Methode geschichtlicher Forschung auf philosophischem Gebiet überhaupt», in: 'Über Aristoteles. Nachgelassene Aufsätze', edited by Rolf George, Hamburg: Meiner, 1986, pp. 7-20. (shrink)

The Prague Philosopher Bernard Bolzano (1781-1848) has long been admired for his groundbreaking work in mathematics: his rigorous proofs of fundamental theorems in analysis, his construction of a continuous, nowhere-differentiable function, his investigations of the infinite, and his anticipations of Cantor's set theory. He made equally outstanding contributions in philosophy, most notably in logic and methodology. One of the greatest mathematician-philosophers since Leibniz, Bolzano is now widely recognised as a major figure of nineteenth-century philosophy. Praised by Husserl as “one of (...) the greatest logicians of all times,” he has also been recognised by Michael Dummett as one of the first modern analytic philosophers and by Alberto Coffa as the founder of the “semantic tradition.” This volume contains English translations of the essay “On the Mathematical Method,” a concise introduction to Bolzano’s logic and philosophy of mathematics, as well as substantial selections from his correspondence with Franz Exner, Professor of Philosophy at the Charles University in Prague in the 1830s and 40s. It will be of interest to students of Austrian philosophy, the development of analytic philosophy, the philosophy of language, and the history and philosophy of logic and mathematics. (shrink)

The intentionalist about consciousness holds that the qualitative character of experience, “what it’s like,” is determined by the contents of a select group of special intentional states of the subject. Fred Dretske (1995), Mike Thau (2002), Michael Tye (1995) and many others have embraced intentionalism, but these philosophers have not generally appreciated that, since we are intimately familiar with the qualitative character of experience, we thereby have special access to the nature of these contents. In this paper, we take advantage (...) of this fact to show that intentionalism is incompatible with the idea that these contents are singular or general propositions, and thus that intentionalism is incompatible with one dominant trend in thinking about contents in general. In particular, there appear to be insoluble difficulties in explaining how the phenomenology of place and time can be explained by any intentionalist theory appealing to singular or general propositions. (shrink)

Many authors, including Derek Parfit, T. M. Scanlon, and Mark Schroeder, favor a “reasons-first” ontology of normativity, which treats reasons as normatively fundamental. Others, most famously G. E. Moore, favor a “value-first” ontology, which treats value or goodness as normatively fundamental. Chapter 10 argues that both the reasons-first and value-first ontologies should be rejected because neither can account for all of the normative reasons that, intuitively, there are. It advances an ontology of normativity, originally suggested by Franz Brentano and (...) A. C. Ewing, according to which fittingness is normatively fundamental. The normative relation of fittingness is the relation in which a response stands to an object when the object merits—or is worthy of—that response. The author argues that his “fittingness-first” ontology is no less parsimonious than either the reasons- or the value-first ontology, but it can plausibly accommodate the existence of all the normative reasons there are. It therefore provides a superior ontology of normativity. (shrink)

As topics in the philosophy of emotion, pleasure and displeasure get less than their fair share of attention. On the one hand, there is the fact that pleasure and displeasure are given no role at all in many theories of the emotions, and secondary roles in many others.1 On the other, there is the centrality of pleasure and displeasure to being emotional. A woman who tears up because of a blustery wind, while an ill-advised burrito weighs heavily upon her digestive (...) tract, feels an impressive number of the sensations felt by someone who is gut-wrenchingly sad. Yet, unless she feels bad, the way she feels is only a pale echo of the feeling of sadness. If she feels good in spite of the burrito and the wind, then she does not feel at all the way she would if she were sad. Likewise, a man falling asleep can hardly fail to feel his muscles relax, his heart rate fall, and so on, but unless he feels good his state is only a shadow of feeling content. This paper will begin with a sketch of the nature of pleasure and displeasure, and the relation between them and the feelings that are characteristic of emotions. It will then argue that the capacity to feel pleased and displeased is, quite literally, a sense modality: one allowing us to perceive net change in the satisfaction of our intrinsic desires. As with any sense modality, the capacity to feel pleased and displeased displays substantial modularity. The paper concludes by considering the ways in which the modularity of pleasure and displeasure contributes to effects that might reasonably be called “the modularity of the emotions.”. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

Many authors, including Derek Parfit, T.M. Scanlon, and Mark Schroeder, favor a “reasons-first” ontology of normativity, which treats reasons as normatively fundamental. Others, most famously G.E. Moore, favor a “value-first” ontology, which treats value or goodness as normatively fundamental. I argue that both the reasons-first and value-first ontologies should be rejected because neither can account for all of the normative reasons that, intuitively, there are. I advance an ontology of normativity, originally suggested by Franz Brentano and A.C. Ewing, according (...) to which fittingness is normatively fundamental. The normative relation of fittingness is the relation in which a response stands to an object when the object merits—or is worthy of—that response. I argue that my “fittingness-first” ontology is no less parsimonious than either the reasons- or the value-first ontology, but it can plausibly accommodate the existence of all the normative reasons there are. It therefore provides a superior ontology of normativity. (shrink)

Statements of the form ''Osorno is in Chile'' were presented in colors that made them easy or difficult to read against a white background and participants judged the truth of the statement. Moderately visible statements were judged as true at chance level, whereas highly visible statements were judged as true significantly above chance level. We conclude that perceptual fluency affects judgments of truth.

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.

Perceptual fluency is the subjective experience of ease with which an incoming stimulus is processed. Although perceptual fluency is assessed by speed of processing, it remains unclear how objective speed is related to subjective experiences of fluency. We present evidence that speed at different stages of the perceptual process contributes to perceptual fluency. In an experiment, figure-ground contrast influenced detection of briefly presented words, but not their identification at longer exposure durations. Conversely, font in which the word was written influenced (...) identification, but not detection. Both contrast and font influenced subjective fluency. These findings suggest that speed of processing at different stages condensed into a unified subjective experience of perceptual fluency. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:AQUINAS AS A COMMENTATOR ON DE ANIMA 3.5 JAMES T. H. MARTIN St. John's University Jamaica, New York DOES ST. THOMAS AQUINAS in his commentary on De Anima 3.5 provide an acceptable gloss on Aristotle 's cryptic remarks about active mind? That is, can one accept.that what Aquinas says about active mind is what Aristotle meant but for some reason did not say? Many modern commentators, among them (...) class='Hi'>Franz Brentano, Marcel de Corte, Paul Siwek, and Francisco Peccorino, appear to think so and present an interpretation of active mind which agrees substantially with what Aquinas says in his Sententia Libri De Anima (Sent.).1 i Senteiitia Libri De Anima, opera omnia iussu Leonis XIII P.M. edita (Paris: Vrin, for the Leonine Commission, 1984). While he does criticize St. Thomas Aquinas for some statements which " seem to betray a certain lack of clarity concerning the nature of active intellect,'' Franz Brentano awards the first place among earlier commentators on Aristotle's doctrine of active mind to Aquinas : " Indeed, I am not sure whether I should not say that he correctly grasped Aristotle's entire doctrine" (The Psychology of Aristotle: In Particular His Doctrine of Active Intellect, ed. and trans. Rolf George [Berkeley: University of California Press, 1977], p. 155). De Corte holds that the originality of his study consists entirely in combining " all the technical means refined by modern criticism and which the thirteenth century did not have at its disposition " with the " Thomist interpretation of the Aristotelian theory of intelligence," an interpretation with which de Corte agrees, and which he presents as a necessary correction of the errors of modern commentators, who are "more or less instilled with an unconscious Averroism which radically vitiates their power of understanding" (La doctrine de l'intelligence chez Aristote [Paris: Vrin, 1934], p. 2). Siwek notes that "many of St. Thomas's explanations of Aristotelian psychology are altogether consonant with our own explanations,'' and warns his readers against undervaluing Aquinas's views (Aristotelis Tractatus de Anima Graece et Latine, editit, versione latina auxit, commentario illustravit [Rome: Desclee & C.i, 1965], p. 30). Peccorini com621 622 JAMES T. H. MARTIN Aristotle's text is concerned with two minds, "a mind which is such as matter by becoming all things, and another which is such as an active principle by making all things" (430a14-15). What are these minds, and what do they do? The central elements of Aquinas's exegesis of De Anima 3.5 consist in his answers to these questions. He holds that these two minds are " parts or potencies of the soul " (Sent. 3.4. 126). The role of passive mind, the "mind which is such as matter," is to apprehend the intelligible object (Sent. 3.4. 101-2), while that of active mind, the mind " which is such as an active principle by making all things," is to abstract the intelligibles (Sent. 3.4. 103-4), a role which he explains in this way: Active mind makes those things intelligible in act which previously were intelligible in potency. It does this by abstracting them from matter, for in this way they are intelligible in act, as has been said. Aristotle was led to posit an active mind to exclude the opinion of Plato, who held that the natures of sensible things are separated from matter and actually intelligible. Thus for Plato it was not necessary to posit an active mind. But because Aristotle holds that the natures of sensible things are in matter and not actually intelligible, it was necessary that he posit a certain intellect to abstract them from matter and so make them actually intelligible. (Sent. 3.4 50-63) Active mind on Aquinas's reading makes the potentially intelligible forms of sensible things actually intelligible, and in this way these sensible things become objects of thought. If one accepts this role for active mind, one is forced to accept as well, I think, that active mind is part of the soul rather than something separate from the knowing human subject. Aquinas argues this point at length in his commentary on De Anima 3.5. If thinking, the action of the passive mind, is in fact... (shrink)

The paper tries to illustrate the influence of Aristotle's thought upon Brentano by arguing that the view that all psychological phenomena have objects was proably derived from the Aristotelian conception that the mind can know itself only en parergo, and that this knowledge presupposes that some other thing be in the mind "objectively". Brentano's contribution to Aristotle scholarship is illustrated by reviewing some of his arguments against Zeller's claim that Aristotle's God, contemplating only himself, is ignorant of the world. The (...) paper concludes with an attempt to explain the relative neglect into which Brentano's exegetical efforts have fallen. (shrink)